ABEL[3]

Jürg Kohlas et al, University of Fribourg, Switzerland

A modeling language for problems in the domain of assumption-based reasoning